Vietnamese dictionaries for mobile phones

type theory not found. Suggestions:

Russell's Paradox

type assignment

discriminated union

typed lambda-calculus

algebraic data type